#include <version.h>
#include <u_syscall.h>

/******************************************************************************
* 函数名称: void KernelVersion(void)
* 功能说明: 打印内核版本信息
* 输入参数: 无
* 输出参数: 无
* 函数返回: 无
* 其它说明: 无
******************************************************************************/
void KernelVersion(void)
{
    print("%s", GetKernelVersion());
}

